An introduction to program synthesis
mchav.github.io·23h·
🏗️Language Design
Choosing Rust for LLM-generated code
runmat.org·4h·
Discuss: Hacker News
💻Programming
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
🔗Functional Programming
Low-Rank Attention: Scaling Transformers Without the Quadratic Cost
lightcapai.medium.com·7h·
Discuss: Hacker News
🏗️Language Design
Lobsters Interview with Susam
lobste.rs·7h·
Discuss: Lobsters
💻Programming
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·1d·
Discuss: Hacker News
🏗️Language Design
LLM-Generated Rules Engines for LLM Explainability
brain.co·10h·
Discuss: Hacker News
🏗️Language Design
The Capability-Tractability Tradeoff (2023)
buttondown.com·2h·
Discuss: Hacker News
💻Programming
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·1d·
🏗️Language Design
Decompiling the GPL violated Linux kernel using Evolutionary Algorithms
far.chickenkiller.com·14h·
Discuss: Hacker News
🏗️Language Design
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
🔗Functional Programming
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🏗️Language Design
Show HN: I made a generative online drum machine with ClojureScript
dopeloop.ai·13h·
🎷Music
The Elements of Programming Style
en.wikipedia.org·10h·
Discuss: Hacker News
💻Programming
VaultGemma: The world's most capable differentially private LLM
research.google·14h·
🧠Digital Mnemonics
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·2d·
🔗Functional Programming
Larry Wall – Present Continuous, Future Perfect (2006)
perl.org.il·9h·
Discuss: Hacker News
💻Programming
Compiling a Functional Language to LLVM
danieljharvey.github.io·3d·
🏗️Language Design
Improving state machine code generation
trifectatech.org·3d·
💻Programming
Failed Machine Learning
github.com·3h·
Discuss: Hacker News
🏗️Language Design